[next] [prev] [prev-tail] [tail] [up]

Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
  2.1.8 Mupad
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 26, 28, 29, 30, 36, 37, 38, 39, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 95, 96, 97, 104, 105, 106, 107, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 131, 132, 133, 134, 135, 136, 137, 138, 142, 143, 144, 145, 146, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 208, 209, 210, 211, 212, 213, 217, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249 }

B grade: { 22, 23, 62, 63, 64, 65, 66, 81, 82, 83, 84, 85, 86, 87, 88, 89, 111, 112, 113, 114, 128, 129, 130, 139, 140, 141, 147, 166 }

C grade: { 24, 25, 27, 31, 32, 33, 34, 35, 40, 41, 42, 43, 90, 91, 92, 93, 94, 98, 99, 100, 101, 102, 103, 108, 109, 110 }

F grade: { 207, 214, 215, 216, 218, 219 }

2.1.3 Maple

A grade: { 68, 69, 138, 142, 143, 144, 145, 146, 148, 149, 198, 202, 203, 204, 220, 221, 222, 225, 226, 233, 246 }

B grade: { }

C grade: { 1, 2, 3, 4, 5, 7, 8, 9, 24, 25, 27, 64, 65, 66, 67, 70, 71, 72, 73, 74, 75, 76, 77, 81, 82, 87, 88, 90, 91, 93, 94, 95, 96, 97, 98, 99, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 172, 173, 176, 177, 182, 186, 187 }

F grade: { 6, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 78, 79, 80, 83, 84, 85, 86, 89, 92, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 139, 140, 141, 147, 150, 151, 152, 153, 154, 155, 170, 171, 174, 175, 178, 179, 180, 181, 183, 184, 185, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 199, 200, 201, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 223, 224, 227, 228, 229, 230, 231, 232, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 247, 248, 249 }

2.1.4 Maxima

A grade: { 2, 3, 4, 5, 7, 8, 9, 68, 69, 70, 71, 72, 73, 75, 76, 77, 138, 142, 143, 144, 145, 146, 148, 149, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 167, 168, 169, 173, 177, 182, 193, 198, 202, 203, 204, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 238, 239, 246 }

B grade: { 166, 237 }

C grade: { 192 }

F grade: { 1, 6, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 74, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 139, 140, 141, 147, 150, 151, 152, 153, 154, 155, 170, 171, 172, 174, 175, 176, 178, 179, 180, 181, 183, 184, 185, 186, 187, 188, 189, 190, 191, 194, 195, 196, 197, 199, 200, 201, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 240, 241, 242, 243, 244, 245, 247, 248, 249 }

2.1.5 FriCAS

A grade: { 68, 69, 138, 142, 143, 144, 145, 146, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 181, 186, 187, 190, 191, 198, 202, 203, 204, 208, 209, 210, 212, 213, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 234, 235, 236, 239, 240, 241, 245, 246 }

B grade: { 163, 164, 165, 166, 182, 230, 231, 232, 233, 237, 238 }

C grade: { 64, 65, 66, 67, 139, 140, 141, 147, 214, 215, 216, 218, 219 }

F grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 178, 179, 180, 183, 184, 185, 188, 189, 192, 193, 194, 195, 196, 197, 199, 200, 201, 205, 206, 207, 211, 217, 242, 243, 244, 247, 248, 249 }

2.1.6 Sympy

A grade: { 146, 158, 177, 188, 189, 198, 202, 203, 204, 205, 209, 210, 211, 217, 222, 223, 224, 225, 226, 227, 228, 229, 233, 239, 246 }

B grade: { 156, 157, 160, 161, 162, 163, 164, 165, 167, 168, 169, 230, 231, 232, 234, 235, 236 }

C grade: { }

F grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 147, 148, 149, 150, 151, 152, 153, 154, 155, 159, 166, 170, 171, 172, 173, 174, 175, 176, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 190, 191, 192, 193, 194, 195, 196, 197, 199, 200, 201, 206, 207, 208, 212, 213, 214, 215, 216, 218, 219, 220, 221, 237, 238, 240, 241, 242, 243, 244, 245, 247, 248, 249 }

2.1.7 Giac

A grade: { 68, 69, 138, 142, 143, 144, 145, 146, 148, 149, 158, 159, 160, 161, 162, 170, 171, 172, 173, 177, 198, 202, 203, 204, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 234, 240, 246 }

B grade: { 156, 157, 163, 164, 165, 166, 167, 168, 169, 176, 182, 230, 231, 232, 233, 235, 236, 237, 238, 239, 241 }

C grade: { }

F grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 139, 140, 141, 147, 150, 151, 152, 153, 154, 155, 174, 175, 178, 179, 180, 181, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 199, 200, 201, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 242, 243, 244, 245, 247, 248, 249 }

2.1.8 Mupad

A grade: { 68, 69, 138, 142, 143, 144, 145, 146, 148, 149, 198, 202, 203, 204, 220, 221, 222 }

B grade: { 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 246 }

C grade: { }

F grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 139, 140, 141, 147, 150, 151, 152, 153, 154, 155, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 199, 200, 201, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 237, 238, 239, 240, 241, 242, 243, 244, 245, 247, 248, 249 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\)

Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F(-2) F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 173 173 157 555 0 0 0 0 -1
normalized size 1 1.00 0.91 3.21 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.180 0.172 0.220 0.000 0.656 0.000 0.000 0.000
Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 210 210 188 1014 259 0 0 0 -1
normalized size 1 1.00 0.90 4.83 1.23 0.00 0.00 0.00 -0.00
time (sec) N/A 0.119 0.093 0.296 1.472 0.611 0.000 0.000 0.000
Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 178 178 161 870 220 0 0 0 -1
normalized size 1 1.00 0.90 4.89 1.24 0.00 0.00 0.00 -0.01
time (sec) N/A 0.104 0.075 0.294 1.353 0.703 0.000 0.000 0.000
Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 146 146 131 725 178 0 0 0 -1
normalized size 1 1.00 0.90 4.97 1.22 0.00 0.00 0.00 -0.01
time (sec) N/A 0.076 0.067 0.293 1.401 0.618 0.000 0.000 0.000
Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 74 74 90 557 126 0 0 0 -1
normalized size 1 1.00 1.22 7.53 1.70 0.00 0.00 0.00 -0.01
time (sec) N/A 0.089 0.034 0.252 1.247 0.771 0.000 0.000 0.000
Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 28 28 34 0 0 0 0 0 -1
normalized size 1 1.00 1.21 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.028 0.009 0.447 0.000 0.776 0.000 0.000 0.000
Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 107 107 69 481 128 0 0 0 -1
normalized size 1 1.00 0.64 4.50 1.20 0.00 0.00 0.00 -0.01
time (sec) N/A 0.070 0.065 0.245 1.395 0.572 0.000 0.000 0.000
Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 163 163 215 647 194 0 0 0 -1
normalized size 1 1.00 1.32 3.97 1.19 0.00 0.00 0.00 -0.01
time (sec) N/A 0.091 0.073 0.250 1.369 0.501 0.000 0.000 0.000
Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 195 195 206 796 232 0 0 0 -1
normalized size 1 1.00 1.06 4.08 1.19 0.00 0.00 0.00 -0.01
time (sec) N/A 0.107 0.085 0.254 1.184 0.782 0.000 0.000 0.000
Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 456 456 594 0 0 0 0 0 -1
normalized size 1 1.00 1.30 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.331 0.209 0.571 0.000 0.625 0.000 0.000 0.000
Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 396 396 506 0 0 0 0 0 -1
normalized size 1 1.00 1.28 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.288 0.169 0.513 0.000 0.577 0.000 0.000 0.000
Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 327 327 416 0 0 0 0 0 -1
normalized size 1 1.00 1.27 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.219 0.140 0.665 0.000 0.842 0.000 0.000 0.000
Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 193 193 294 0 0 0 0 0 -1
normalized size 1 1.00 1.52 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.335 0.101 0.570 0.000 0.599 0.000 0.000 0.000
Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 55 55 53 0 0 0 0 0 -1
normalized size 1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.060 0.078 0.468 0.000 0.688 0.000 0.000 0.000
Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 203 220 183 0 0 0 0 0 -1
normalized size 1 1.08 0.90 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.343 0.217 0.473 0.000 0.665 0.000 0.000 0.000
Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 287 310 513 0 0 0 0 0 -1
normalized size 1 1.08 1.79 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.484 0.202 0.530 0.000 0.780 0.000 0.000 0.000
Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 710 710 1144 0 0 0 0 0 -1
normalized size 1 1.00 1.61 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.777 0.367 0.515 0.000 0.949 0.000 0.000 0.000
Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 615 615 975 0 0 0 0 0 -1
normalized size 1 1.00 1.59 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.638 0.303 0.514 0.000 0.798 0.000 0.000 0.000
Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 530 530 806 0 0 0 0 0 -1
normalized size 1 1.00 1.52 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.493 0.276 0.512 0.000 0.854 0.000 0.000 0.000
Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 327 327 584 0 0 0 0 0 -1
normalized size 1 1.00 1.79 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.763 0.192 0.646 0.000 0.809 0.000 0.000 0.000
Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 81 81 77 0 0 0 0 0 -1
normalized size 1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.098 0.121 0.367 0.000 0.778 0.000 0.000 0.000
Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 342 360 770 0 0 0 0 0 -1
normalized size 1 1.05 2.25 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.601 0.318 0.467 0.000 0.768 0.000 0.000 0.000
Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 470 499 1047 0 0 0 0 0 -1
normalized size 1 1.06 2.23 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.820 0.404 0.509 0.000 0.688 0.000 0.000 0.000
Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 180 180 348 827 0 0 0 0 -1
normalized size 1 1.00 1.93 4.59 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.166 0.106 0.310 0.000 0.675 0.000 0.000 0.000
Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 114 114 267 820 0 0 0 0 -1
normalized size 1 1.00 2.34 7.19 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.177 0.050 0.268 0.000 0.530 0.000 0.000 0.000
Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 39 39 50 0 0 0 0 0 -1
normalized size 1 1.00 1.28 0.00 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.032 0.011 0.408 0.000 0.643 0.000 0.000 0.000
Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 141 141 241 619 0 0 0 0 -1
normalized size 1 1.00 1.71 4.39 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.128 0.096 0.203 0.000 0.716 0.000 0.000 0.000
Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 241 241 364 0 0 0 0 0 -1
normalized size 1 1.00 1.51 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.179 0.093 0.543 0.000 0.637 0.000 0.000 0.000
Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 182 182 254 0 0 0 0 0 -1
normalized size 1 1.00 1.40 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.107 0.096 0.430 0.000 0.852 0.000 0.000 0.000
Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 169 169 221 0 0 0 0 0 -1
normalized size 1 1.00 1.31 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.119 0.095 0.485 0.000 0.822 0.000 0.000 0.000
Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 211 211 285 0 0 0 0 0 -1
normalized size 1 1.00 1.35 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.140 0.188 0.392 0.000 0.833 0.000 0.000 0.000
Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 367 367 654 0 0 0 0 0 -1
normalized size 1 1.00 1.78 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.365 0.358 0.496 0.000 0.680 0.000 0.000 0.000
Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 241 241 519 0 0 0 0 0 -1
normalized size 1 1.00 2.15 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.505 0.266 0.576 0.000 0.694 0.000 0.000 0.000
Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 70 70 484 0 0 0 0 0 -1
normalized size 1 1.00 6.91 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.067 0.210 0.500 0.000 0.765 0.000 0.000 0.000
Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 257 257 488 0 0 0 0 0 -1
normalized size 1 1.00 1.90 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.338 0.364 0.370 0.000 0.583 0.000 0.000 0.000
Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 612 612 703 0 0 0 0 0 -1
normalized size 1 1.00 1.15 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.034 0.615 0.452 0.000 0.672 0.000 0.000 0.000
Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 519 519 544 0 0 0 0 0 -1
normalized size 1 1.00 1.05 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.801 0.333 0.529 0.000 0.780 0.000 0.000 0.000
Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 459 459 414 0 0 0 0 0 -1
normalized size 1 1.00 0.90 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.556 0.310 0.408 0.000 0.769 0.000 0.000 0.000
Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 543 543 585 0 0 0 0 0 -1
normalized size 1 1.00 1.08 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.866 0.546 0.421 0.000 0.592 0.000 0.000 0.000
Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 591 591 1234 0 0 0 0 0 -1
normalized size 1 1.00 2.09 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.734 1.091 0.535 0.000 0.715 0.000 0.000 0.000
Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 411 411 1004 0 0 0 0 0 -1
normalized size 1 1.00 2.44 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.042 0.602 0.459 0.000 0.916 0.000 0.000 0.000
Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 101 101 754 0 0 0 0 0 -1
normalized size 1 1.00 7.47 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.100 0.325 0.404 0.000 1.073 0.000 0.000 0.000
Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 425 425 940 0 0 0 0 0 -1
normalized size 1 1.00 2.21 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.583 0.391 0.427 0.000 0.549 0.000 0.000 0.000
Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 938 938 1027 0 0 0 0 0 -1
normalized size 1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.546 0.717 0.650 0.000 0.523 0.000 0.000 0.000
Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 849 849 794 0 0 0 0 0 -1
normalized size 1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.040 0.433 0.487 0.000 0.839 0.000 0.000 0.000
Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 350 350 263 0 0 0 0 0 -1
normalized size 1 1.00 0.75 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.277 0.307 0.077 0.000 1.175 0.000 0.000 0.000
Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 268 268 191 0 0 0 0 0 -1
normalized size 1 1.00 0.71 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.192 0.218 0.059 0.000 0.663 0.000 0.000 0.000
Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 172 172 117 0 0 0 0 0 -1
normalized size 1 1.00 0.68 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.105 0.160 0.059 0.000 0.780 0.000 0.000 0.000
Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 39 39 50 0 0 0 0 0 -1
normalized size 1 1.00 1.28 0.00 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.032 0.008 0.061 0.000 0.768 0.000 0.000 0.000
Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 196 196 124 0 0 0 0 0 -1
normalized size 1 1.00 0.63 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.151 0.196 0.116 0.000 0.620 0.000 0.000 0.000
Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 289 289 207 0 0 0 0 0 -1
normalized size 1 1.00 0.72 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.205 0.255 0.116 0.000 0.627 0.000 0.000 0.000
Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 372 372 288 0 0 0 0 0 -1
normalized size 1 1.00 0.77 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.252 0.359 0.118 0.000 0.970 0.000 0.000 0.000
Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 708 708 995 0 0 0 0 0 -1
normalized size 1 1.00 1.41 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.638 0.589 0.064 0.000 0.570 0.000 0.000 0.000
Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 557 557 769 0 0 0 0 0 -1
normalized size 1 1.00 1.38 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.465 0.415 0.066 0.000 1.041 0.000 0.000 0.000
Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 374 374 527 0 0 0 0 0 -1
normalized size 1 1.00 1.41 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.269 0.330 0.066 0.000 0.672 0.000 0.000 0.000
Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 70 70 70 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.067 0.147 0.064 0.000 0.731 0.000 0.000 0.000
Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 389 389 627 0 0 0 0 0 -1
normalized size 1 1.00 1.61 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.409 0.414 0.118 0.000 0.656 0.000 0.000 0.000
Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 555 555 881 0 0 0 0 0 -1
normalized size 1 1.00 1.59 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.550 0.537 0.118 0.000 0.843 0.000 0.000 0.000
Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 858 858 1432 0 0 0 0 0 -1
normalized size 1 1.00 1.67 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.935 0.638 0.096 0.000 0.946 0.000 0.000 0.000
Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 604 604 986 0 0 0 0 0 -1
normalized size 1 1.00 1.63 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.520 0.510 0.118 0.000 0.939 0.000 0.000 0.000
Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 101 101 98 0 0 0 0 0 -1
normalized size 1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.099 0.212 0.069 0.000 0.833 0.000 0.000 0.000
Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 610 610 1455 0 0 0 0 0 -1
normalized size 1 1.00 2.39 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.778 0.853 0.120 0.000 0.889 0.000 0.000 0.000
Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 849 849 2009 0 0 0 0 0 -1
normalized size 1 1.00 2.37 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.144 1.073 0.173 0.000 0.738 0.000 0.000 0.000
Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B C F C F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 137 137 1700 38574 0 523 0 0 -1
normalized size 1 1.00 12.41 281.56 0.00 3.82 0.00 0.00 -0.01
time (sec) N/A 0.144 0.702 1.891 0.000 0.891 0.000 0.000 0.000
Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B C F C F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 105 105 1035 11734 0 285 0 0 -1
normalized size 1 1.00 9.86 111.75 0.00 2.71 0.00 0.00 -0.01
time (sec) N/A 0.114 0.407 1.270 0.000 0.742 0.000 0.000 0.000
Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B C F C F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 73 73 526 2578 0 131 0 0 -1
normalized size 1 1.00 7.21 35.32 0.00 1.79 0.00 0.00 -0.01
time (sec) N/A 0.071 0.243 1.077 0.000 0.859 0.000 0.000 0.000
Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F C F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 40 40 52 308 0 42 0 0 -1
normalized size 1 1.00 1.30 7.70 0.00 1.05 0.00 0.00 -0.02
time (sec) N/A 0.048 0.010 0.941 0.000 0.857 0.000 0.000 0.000
Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A F(-1) A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 31 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.040 0.061 1.795 0.000 0.901 0.000 0.000 0.000
Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A F(-1) A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 31 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.042 1.992 4.700 0.000 0.839 0.000 0.000 0.000
Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 283 283 290 2403 381 0 0 0 -1
normalized size 1 1.00 1.02 8.49 1.35 0.00 0.00 0.00 -0.00
time (sec) N/A 0.206 0.223 0.872 2.304 0.805 0.000 0.000 0.000
Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 243 243 252 2222 328 0 0 0 -1
normalized size 1 1.00 1.04 9.14 1.35 0.00 0.00 0.00 -0.00
time (sec) N/A 0.166 0.154 0.747 2.387 0.652 0.000 0.000 0.000
Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 203 203 208 2041 269 0 0 0 -1
normalized size 1 1.00 1.02 10.05 1.33 0.00 0.00 0.00 -0.00
time (sec) N/A 0.126 0.119 0.726 2.277 0.670 0.000 0.000 0.000
Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 117 117 152 1762 188 0 0 0 -1
normalized size 1 1.00 1.30 15.06 1.61 0.00 0.00 0.00 -0.01
time (sec) N/A 0.145 0.074 0.641 2.093 0.704 0.000 0.000 0.000
Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 100 100 147 1795 0 0 0 0 -1
normalized size 1 1.00 1.47 17.95 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.093 0.068 0.473 0.000 0.928 0.000 0.000 0.000
Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 164 164 117 1892 199 0 0 0 -1
normalized size 1 1.00 0.71 11.54 1.21 0.00 0.00 0.00 -0.01
time (sec) N/A 0.118 0.112 0.631 2.236 0.754 0.000 0.000 0.000
Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 234 234 232 2100 285 0 0 0 -1
normalized size 1 1.00 0.99 8.97 1.22 0.00 0.00 0.00 -0.00
time (sec) N/A 0.163 0.148 0.691 2.373 0.536 0.000 0.000 0.000
Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 274 274 280 2282 342 0 0 0 -1
normalized size 1 1.00 1.02 8.33 1.25 0.00 0.00 0.00 -0.00
time (sec) N/A 0.184 0.173 0.798 2.336 0.655 0.000 0.000 0.000
Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 452 452 788 0 0 0 0 0 -1
normalized size 1 1.00 1.74 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.683 0.348 4.812 0.000 0.782 0.000 0.000 0.000
Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 373 373 674 0 0 0 0 0 -1
normalized size 1 1.00 1.81 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.531 0.293 6.902 0.000 0.539 0.000 0.000 0.000
Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 288 288 507 0 0 0 0 0 -1
normalized size 1 1.00 1.76 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.352 0.227 5.154 0.000 0.901 0.000 0.000 0.000
Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 131 131 329 21792 0 0 0 0 -1
normalized size 1 1.00 2.51 166.35 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.141 0.178 1.306 0.000 0.885 0.000 0.000 0.000
Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 248 283 600 10991 0 0 0 0 -1
normalized size 1 1.14 2.42 44.32 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.399 0.346 1.271 0.000 0.619 0.000 0.000 0.000
Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 344 385 796 0 0 0 0 0 -1
normalized size 1 1.12 2.31 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.586 0.392 5.039 0.000 0.708 0.000 0.000 0.000
Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 420 462 909 0 0 0 0 0 -1
normalized size 1 1.10 2.16 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.724 0.453 5.428 0.000 0.845 0.000 0.000 0.000
Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 603 603 1431 0 0 0 0 0 -1
normalized size 1 1.00 2.37 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.974 0.597 87.770 0.000 0.688 0.000 0.000 0.000
Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 473 473 1122 0 0 0 0 0 -1
normalized size 1 1.00 2.37 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.652 0.442 11.850 0.000 0.910 0.000 0.000 0.000
Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 161 161 602 60520 0 0 0 0 -1
normalized size 1 1.00 3.74 375.90 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.190 0.262 2.956 0.000 0.639 0.000 0.000 0.000
Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 411 459 1347 42181 0 0 0 0 -1
normalized size 1 1.12 3.28 102.63 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.696 0.691 2.660 0.000 0.670 0.000 0.000 0.000
Problem 89 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 555 614 1736 0 0 0 0 0 -1
normalized size 1 1.11 3.13 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.015 0.786 11.453 0.000 0.723 0.000 0.000 0.000
Problem 90 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 221 221 324 2259 0 0 0 0 -1
normalized size 1 1.00 1.47 10.22 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.224 0.154 0.908 0.000 1.194 0.000 0.000 0.000
Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 148 148 266 2068 0 0 0 0 -1
normalized size 1 1.00 1.80 13.97 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.218 0.085 0.723 0.000 0.731 0.000 0.000 0.000
Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 113 113 297 0 0 0 0 0 -1
normalized size 1 1.00 2.63 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.126 0.088 3.566 0.000 0.673 0.000 0.000 0.000
Problem 93 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 195 195 298 2101 0 0 0 0 -1
normalized size 1 1.00 1.53 10.77 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.182 0.126 0.677 0.000 0.906 0.000 0.000 0.000
Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 248 248 363 2313 0 0 0 0 -1
normalized size 1 1.00 1.46 9.33 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.226 0.135 0.733 0.000 0.770 0.000 0.000 0.000
Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 251 251 389 2321 0 0 0 0 -1
normalized size 1 1.00 1.55 9.25 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.185 0.141 0.566 0.000 0.865 0.000 0.000 0.000
Problem 96 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 194 194 332 2001 0 0 0 0 -1
normalized size 1 1.00 1.71 10.31 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.116 0.088 0.501 0.000 0.778 0.000 0.000 0.000
Problem 97 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 179 179 305 1972 0 0 0 0 -1
normalized size 1 1.00 1.70 11.02 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.133 0.089 0.552 0.000 0.765 0.000 0.000 0.000
Problem 98 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 227 227 362 2204 0 0 0 0 -1
normalized size 1 1.00 1.59 9.71 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.163 0.117 0.593 0.000 1.034 0.000 0.000 0.000
Problem 99 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 267 267 399 2385 0 0 0 0 -1
normalized size 1 1.00 1.49 8.93 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.189 0.175 0.594 0.000 0.705 0.000 0.000 0.000
Problem 100 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 310 310 814 0 0 0 0 0 -1
normalized size 1 1.00 2.63 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.536 0.272 5.869 0.000 0.992 0.000 0.000 0.000
Problem 101 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 147 147 736 0 0 0 0 0 -1
normalized size 1 1.00 5.01 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.175 0.237 5.164 0.000 1.048 0.000 0.000 0.000
Problem 102 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 276 276 946 0 0 0 0 0 -1
normalized size 1 1.00 3.43 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.330 0.439 5.346 0.000 0.810 0.000 0.000 0.000
Problem 103 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 356 408 1111 0 0 0 0 0 -1
normalized size 1 1.15 3.12 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.672 0.475 5.537 0.000 0.910 0.000 0.000 0.000
Problem 104 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 630 630 1128 0 0 0 0 0 -1
normalized size 1 1.00 1.79 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.065 0.446 111.553 0.000 1.053 0.000 0.000 0.000
Problem 105 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 546 546 993 0 0 0 0 0 -1
normalized size 1 1.00 1.82 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.806 0.337 130.676 0.000 0.651 0.000 0.000 0.000
Problem 106 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 478 478 917 0 0 0 0 0 -1
normalized size 1 1.00 1.92 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.515 0.329 69.215 0.000 0.854 0.000 0.000 0.000
Problem 107 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 571 571 1083 0 0 0 0 0 -1
normalized size 1 1.00 1.90 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.931 0.431 113.911 0.000 0.853 0.000 0.000 0.000
Problem 108 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 514 514 1911 0 0 0 0 0 -1
normalized size 1 1.00 3.72 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.924 0.577 10.374 0.000 0.902 0.000 0.000 0.000
Problem 109 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 181 181 1348 0 0 0 0 0 -1
normalized size 1 1.00 7.45 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.215 0.373 7.036 0.000 0.918 0.000 0.000 0.000
Problem 110 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 451 451 2248 0 0 0 0 0 -1
normalized size 1 1.00 4.98 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.569 0.915 11.546 0.000 0.930 0.000 0.000 0.000
Problem 111 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 1092 1092 2544 0 0 0 0 0 -1
normalized size 1 1.00 2.33 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.807 1.007 185.479 0.000 0.858 0.000 0.000 0.000
Problem 112 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 977 977 2302 0 0 0 0 0 -1
normalized size 1 1.00 2.36 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.499 0.751 123.980 0.000 0.763 0.000 0.000 0.000
Problem 113 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 879 879 2166 0 0 0 0 0 -1
normalized size 1 1.00 2.46 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.106 0.713 112.495 0.000 0.826 0.000 0.000 0.000
Problem 114 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 1007 1007 2488 0 0 0 0 0 -1
normalized size 1 1.00 2.47 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.702 0.879 146.864 0.000 0.818 0.000 0.000 0.000
Problem 115 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 403 403 434 0 0 0 0 0 -1
normalized size 1 1.00 1.08 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.345 0.475 0.187 0.000 0.686 0.000 0.000 0.000
Problem 116 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 313 313 336 0 0 0 0 0 -1
normalized size 1 1.00 1.07 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.244 0.359 0.086 0.000 0.635 0.000 0.000 0.000
Problem 117 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 209 209 218 0 0 0 0 0 -1
normalized size 1 1.00 1.04 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.150 0.231 0.100 0.000 0.752 0.000 0.000 0.000
Problem 118 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 117 117 186 0 0 0 0 0 -1
normalized size 1 1.00 1.59 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.146 0.170 0.069 0.000 0.757 0.000 0.000 0.000
Problem 119 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 248 248 250 0 0 0 0 0 -1
normalized size 1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.210 0.316 0.069 0.000 0.648 0.000 0.000 0.000
Problem 120 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 346 346 359 0 0 0 0 0 -1
normalized size 1 1.00 1.04 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.280 0.392 0.066 0.000 0.651 0.000 0.000 0.000
Problem 121 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 434 434 457 0 0 0 0 0 -1
normalized size 1 1.00 1.05 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.350 0.498 0.066 0.000 0.800 0.000 0.000 0.000
Problem 122 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 750 750 1319 0 0 0 0 0 -1
normalized size 1 1.00 1.76 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.846 0.891 0.096 0.000 0.601 0.000 0.000 0.000
Problem 123 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 598 598 960 0 0 0 0 0 -1
normalized size 1 1.00 1.61 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.656 0.507 0.068 0.000 0.623 0.000 0.000 0.000
Problem 124 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 405 405 718 0 0 0 0 0 -1
normalized size 1 1.00 1.77 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.441 0.402 0.071 0.000 0.644 0.000 0.000 0.000
Problem 125 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 145 145 263 0 0 0 0 0 -1
normalized size 1 1.00 1.81 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.194 0.251 0.092 0.000 0.645 0.000 0.000 0.000
Problem 126 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 441 441 821 0 0 0 0 0 -1
normalized size 1 1.00 1.86 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.633 0.518 0.153 0.000 0.559 0.000 0.000 0.000
Problem 127 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 608 608 1078 0 0 0 0 0 -1
normalized size 1 1.00 1.77 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.784 0.600 0.161 0.000 0.722 0.000 0.000 0.000
Problem 128 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 907 907 1968 0 0 0 0 0 -1
normalized size 1 1.00 2.17 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.309 0.883 0.168 0.000 0.741 0.000 0.000 0.000
Problem 129 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 639 639 1522 0 0 0 0 0 -1
normalized size 1 1.00 2.38 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.856 0.683 0.087 0.000 0.696 0.000 0.000 0.000
Problem 130 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 178 178 403 0 0 0 0 0 -1
normalized size 1 1.00 2.26 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.232 0.416 0.131 0.000 0.609 0.000 0.000 0.000
Problem 131 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 673 673 976 0 0 0 0 0 -1
normalized size 1 1.00 1.45 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.182 1.191 0.337 0.000 0.771 0.000 0.000 0.000
Problem 132 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 914 914 1549 0 0 0 0 0 -1
normalized size 1 1.00 1.69 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.520 2.304 0.326 0.000 0.745 0.000 0.000 0.000
Problem 133 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 367 367 394 0 0 0 0 0 -1
normalized size 1 1.00 1.07 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.298 0.416 0.086 0.000 0.624 0.000 0.000 0.000
Problem 134 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 283 283 296 0 0 0 0 0 -1
normalized size 1 1.00 1.05 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.228 0.307 0.070 0.000 0.706 0.000 0.000 0.000
Problem 135 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 199 199 145 0 0 0 0 0 -1
normalized size 1 1.00 0.73 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.170 0.413 0.072 0.000 0.572 0.000 0.000 0.000
Problem 136 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 310 310 326 0 0 0 0 0 -1
normalized size 1 1.00 1.05 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.242 0.399 0.069 0.000 0.978 0.000 0.000 0.000
Problem 137 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 394 394 422 0 0 0 0 0 -1
normalized size 1 1.00 1.07 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.305 0.451 0.071 0.000 0.711 0.000 0.000 0.000
Problem 138 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A F(-1) A A
verified N/A N/A NO TBD TBD TBD TBD TBD TBD
size 31 0 304 0 0 0 0 0 -1
normalized size 1 0.00 9.81 0.00 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.020 0.348 0.392 0.000 0.752 0.000 0.000 0.000
Problem 139 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F C F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 185 185 1395 0 0 765 0 0 -1
normalized size 1 1.00 7.54 0.00 0.00 4.14 0.00 0.00 -0.01
time (sec) N/A 0.299 0.648 0.300 0.000 0.654 0.000 0.000 0.000
Problem 140 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F C F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 150 150 741 0 0 406 0 0 -1
normalized size 1 1.00 4.94 0.00 0.00 2.71 0.00 0.00 -0.01
time (sec) N/A 0.249 0.378 0.129 0.000 0.769 0.000 0.000 0.000
Problem 141 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F C F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 114 114 277 0 0 173 0 0 -1
normalized size 1 1.00 2.43 0.00 0.00 1.52 0.00 0.00 -0.01
time (sec) N/A 0.193 0.167 0.130 0.000 0.701 0.000 0.000 0.000
Problem 142 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A F(-1) A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 31 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.034 0.161 0.118 0.000 0.518 0.000 0.000 0.000
Problem 143 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A F(-1) A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 31 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.034 1.905 0.120 0.000 0.743 0.000 0.000 0.000
Problem 144 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A F(-1) A A
verified N/A N/A NO TBD TBD TBD TBD TBD TBD
size 29 0 292 0 0 0 0 0 -1
normalized size 1 0.00 10.07 0.00 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.019 0.189 0.146 0.000 0.652 0.000 0.000 0.000
Problem 145 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A F(-1) A A
verified N/A N/A NO TBD TBD TBD TBD TBD TBD
size 27 0 292 0 0 0 0 0 -1
normalized size 1 0.00 10.81 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.011 0.176 0.130 0.000 0.906 0.000 0.000 0.000
Problem 146 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A NO TBD TBD TBD TBD TBD TBD
size 26 0 165 0 0 0 0 0 -1
normalized size 1 0.00 6.35 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.005 0.181 0.130 0.000 0.634 0.000 0.000 0.000
Problem 147 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F C F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 114 114 277 0 0 173 0 0 -1
normalized size 1 1.00 2.43 0.00 0.00 1.52 0.00 0.00 -0.01
time (sec) N/A 0.188 0.168 0.128 0.000 0.690 0.000 0.000 0.000
Problem 148 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A F(-1) A A
verified N/A N/A NO TBD TBD TBD TBD TBD TBD
size 29 0 282 0 0 0 0 0 -1
normalized size 1 0.00 9.72 0.00 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.020 0.171 0.129 0.000 0.712 0.000 0.000 0.000
Problem 149 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A F(-1) A A
verified N/A N/A NO TBD TBD TBD TBD TBD TBD
size 29 0 292 0 0 0 0 0 -1
normalized size 1 0.00 10.07 0.00 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.019 0.162 0.134 0.000 0.729 0.000 0.000 0.000
Problem 150 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F A F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 433 433 410 0 0 368 0 0 -1
normalized size 1 1.00 0.95 0.00 0.00 0.85 0.00 0.00 -0.00
time (sec) N/A 0.603 0.418 0.299 0.000 0.651 0.000 0.000 0.000
Problem 151 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F A F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 363 363 352 0 0 301 0 0 -1
normalized size 1 1.00 0.97 0.00 0.00 0.83 0.00 0.00 -0.00
time (sec) N/A 0.418 0.453 0.303 0.000 1.004 0.000 0.000 0.000
Problem 152 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F A F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 255 255 268 0 0 196 0 0 -1
normalized size 1 1.00 1.05 0.00 0.00 0.77 0.00 0.00 -0.00
time (sec) N/A 0.245 0.232 0.281 0.000 0.752 0.000 0.000 0.000
Problem 153 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F A F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 304 304 162 0 0 239 0 0 -1
normalized size 1 1.00 0.53 0.00 0.00 0.79 0.00 0.00 -0.00
time (sec) N/A 0.305 0.360 0.275 0.000 0.927 0.000 0.000 0.000
Problem 154 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F A F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 414 414 302 0 0 338 0 0 -1
normalized size 1 1.00 0.73 0.00 0.00 0.82 0.00 0.00 -0.00
time (sec) N/A 0.521 0.366 0.299 0.000 0.671 0.000 0.000 0.000
Problem 155 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F A F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 484 484 358 0 0 403 0 0 -1
normalized size 1 1.00 0.74 0.00 0.00 0.83 0.00 0.00 -0.00
time (sec) N/A 0.701 0.424 0.298 0.000 0.995 0.000 0.000 0.000
Problem 156 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 84 84 71 1640 104 134 202 161 82
normalized size 1 1.00 0.85 19.52 1.24 1.60 2.40 1.92 0.98
time (sec) N/A 0.075 0.079 0.533 0.590 0.754 23.751 0.352 4.038
Problem 157 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 84 84 68 1640 102 128 199 161 82
normalized size 1 1.00 0.81 19.52 1.21 1.52 2.37 1.92 0.98
time (sec) N/A 0.052 0.068 0.486 0.545 0.702 8.221 0.254 4.003
Problem 158 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 77 77 58 1503 82 110 151 122 66
normalized size 1 1.00 0.75 19.52 1.06 1.43 1.96 1.58 0.86
time (sec) N/A 0.036 0.023 0.447 0.635 0.679 2.831 0.267 3.779
Problem 159 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 57 57 72 1597 73 62 0 85 73
normalized size 1 1.00 1.26 28.02 1.28 1.09 0.00 1.49 1.28
time (sec) N/A 0.072 0.063 0.619 0.625 0.675 0.000 0.292 3.868
Problem 160 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 57 1443 94 91 153 108 75
normalized size 1 1.00 0.79 20.04 1.31 1.26 2.12 1.50 1.04
time (sec) N/A 0.071 0.070 0.347 0.750 0.596 2.595 0.318 3.809
Problem 161 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 83 83 64 1442 93 95 201 116 83
normalized size 1 1.00 0.77 17.37 1.12 1.14 2.42 1.40 1.00
time (sec) N/A 0.073 0.074 0.335 0.755 0.851 7.576 0.244 3.941
Problem 162 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 83 83 69 1451 99 105 204 121 83
normalized size 1 1.00 0.83 17.48 1.19 1.27 2.46 1.46 1.00
time (sec) N/A 0.074 0.082 0.352 0.659 0.684 22.197 0.246 3.935
Problem 163 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 207 207 157 9271 250 388 654 506 189
normalized size 1 1.00 0.76 44.79 1.21 1.87 3.16 2.44 0.91
time (sec) N/A 0.203 0.158 0.865 0.835 0.836 70.848 0.407 3.989
Problem 164 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 206 206 154 9262 247 386 600 497 187
normalized size 1 1.00 0.75 44.96 1.20 1.87 2.91 2.41 0.91
time (sec) N/A 0.166 0.148 0.865 0.611 0.756 26.505 0.360 4.146
Problem 165 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 147 147 141 8701 213 345 534 425 165
normalized size 1 1.00 0.96 59.19 1.45 2.35 3.63 2.89 1.12
time (sec) N/A 0.088 0.113 0.832 0.766 0.893 9.257 0.345 3.879
Problem 166 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B C B B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 57 57 129 9164 163 170 0 223 124
normalized size 1 1.00 2.26 160.77 2.86 2.98 0.00 3.91 2.18
time (sec) N/A 0.095 0.137 1.554 0.661 0.852 0.000 0.363 3.988
Problem 167 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 181 181 138 8407 221 311 536 392 181
normalized size 1 1.00 0.76 46.45 1.22 1.72 2.96 2.17 1.00
time (sec) N/A 0.193 0.160 0.849 0.975 0.655 9.403 0.359 4.013
Problem 168 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 204 204 151 8407 224 326 602 403 186
normalized size 1 1.00 0.74 41.21 1.10 1.60 2.95 1.98 0.91
time (sec) N/A 0.206 0.177 0.842 0.678 0.679 9.007 0.431 4.082
Problem 169 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 205 205 155 8407 230 329 656 403 190
normalized size 1 1.00 0.76 41.01 1.12 1.60 3.20 1.97 0.93
time (sec) N/A 0.211 0.178 0.895 0.940 0.686 24.957 0.388 4.197
Problem 170 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 141 141 93 0 0 92 0 206 -1
normalized size 1 1.00 0.66 0.00 0.00 0.65 0.00 1.46 -0.01
time (sec) N/A 0.180 0.168 1.419 0.000 0.786 0.000 0.427 0.000
Problem 171 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 141 141 93 0 0 92 0 206 -1
normalized size 1 1.00 0.66 0.00 0.00 0.65 0.00 1.46 -0.01
time (sec) N/A 0.154 0.150 7.428 0.000 0.780 0.000 0.510 0.000
Problem 172 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 130 130 86 2329 0 84 0 179 -1
normalized size 1 1.00 0.66 17.92 0.00 0.65 0.00 1.38 -0.01
time (sec) N/A 0.122 0.130 1.335 0.000 0.766 0.000 0.428 0.000
Problem 173 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 71 71 58 1744 118 51 0 85 -1
normalized size 1 1.00 0.82 24.56 1.66 0.72 0.00 1.20 -0.01
time (sec) N/A 0.106 0.073 0.437 0.674 0.746 0.000 0.392 0.000
Problem 174 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 133 133 87 0 0 81 0 0 -1
normalized size 1 1.00 0.65 0.00 0.00 0.61 0.00 0.00 -0.01
time (sec) N/A 0.172 0.127 1.269 0.000 0.614 0.000 0.000 0.000
Problem 175 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 141 141 94 0 0 88 0 0 -1
normalized size 1 1.00 0.67 0.00 0.00 0.62 0.00 0.00 -0.01
time (sec) N/A 0.169 0.135 1.562 0.000 0.789 0.000 0.000 0.000
Problem 176 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 89 135 87 370 0 154 0 661 -1
normalized size 1 1.52 0.98 4.16 0.00 1.73 0.00 7.43 -0.01
time (sec) N/A 0.138 0.146 0.647 0.000 0.700 0.000 0.516 0.000
Problem 177 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 29 29 28 131 32 16 32 17 -1
normalized size 1 1.00 0.97 4.52 1.10 0.55 1.10 0.59 -0.03
time (sec) N/A 0.053 0.018 0.186 0.619 0.726 10.185 0.315 0.000
Problem 178 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F(-2) F F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 347 347 179 0 0 0 0 0 -1
normalized size 1 1.00 0.52 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.358 0.624 2.060 0.000 0.752 0.000 0.000 0.000
Problem 179 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F(-2) F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 298 298 156 0 0 0 0 0 -1
normalized size 1 1.00 0.52 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.245 0.398 1.441 0.000 0.693 0.000 0.000 0.000
Problem 180 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F(-2) F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 298 298 156 0 0 0 0 0 -1
normalized size 1 1.00 0.52 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.220 0.377 1.632 0.000 0.867 0.000 0.000 0.000
Problem 181 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F(-2) A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 271 271 146 0 0 131 0 0 -1
normalized size 1 1.00 0.54 0.00 0.00 0.48 0.00 0.00 -0.00
time (sec) N/A 0.166 0.312 1.419 0.000 0.842 0.000 0.000 0.000
Problem 182 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A B F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 71 71 71 854 95 222 0 246 -1
normalized size 1 1.00 1.00 12.03 1.34 3.13 0.00 3.46 -0.01
time (sec) N/A 0.155 0.135 1.188 0.658 0.623 0.000 0.397 0.000
Problem 183 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F(-2) F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 260 260 141 0 0 0 0 0 -1
normalized size 1 1.00 0.54 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.227 0.322 1.500 0.000 0.680 0.000 0.000 0.000
Problem 184 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F(-2) F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 295 295 154 0 0 0 0 0 -1
normalized size 1 1.00 0.52 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.234 0.382 0.939 0.000 0.790 0.000 0.000 0.000
Problem 185 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F(-2) F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 295 295 154 0 0 0 0 0 -1
normalized size 1 1.00 0.52 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.240 0.381 0.923 0.000 0.775 0.000 0.000 0.000
Problem 186 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F A F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 246 246 248 6894 0 221 0 0 -1
normalized size 1 1.00 1.01 28.02 0.00 0.90 0.00 0.00 -0.00
time (sec) N/A 0.233 0.182 8.327 0.000 1.267 0.000 0.000 0.000
Problem 187 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F A F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 245 245 248 5618 0 308 0 0 -1
normalized size 1 1.00 1.01 22.93 0.00 1.26 0.00 0.00 -0.00
time (sec) N/A 0.227 0.188 11.062 0.000 1.344 0.000 0.000 0.000
Problem 188 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-1) F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 182 182 165 0 0 0 221 0 -1
normalized size 1 1.00 0.91 0.00 0.00 0.00 1.21 0.00 -0.01
time (sec) N/A 0.164 0.119 180.000 0.000 0.608 91.781 0.000 0.000
Problem 189 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-1) F(-1) F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 182 182 178 0 0 0 231 0 -1
normalized size 1 1.00 0.98 0.00 0.00 0.00 1.27 0.00 -0.01
time (sec) N/A 0.148 0.124 180.000 0.000 0.842 95.102 0.000 0.000
Problem 190 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-2) F A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 244 244 240 0 0 307 0 0 -1
normalized size 1 1.00 0.98 0.00 0.00 1.26 0.00 0.00 -0.00
time (sec) N/A 0.219 0.163 180.000 0.000 1.098 0.000 0.000 0.000
Problem 191 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-2) F A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 312 312 145 0 0 275 0 0 -1
normalized size 1 1.00 0.46 0.00 0.00 0.88 0.00 0.00 -0.00
time (sec) N/A 0.210 0.239 180.000 0.000 1.045 0.000 0.000 0.000
Problem 192 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-1) C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 180 180 167 0 354 0 0 0 -1
normalized size 1 1.00 0.93 0.00 1.97 0.00 0.00 0.00 -0.01
time (sec) N/A 0.162 0.141 180.000 1.083 0.754 0.000 0.000 0.000
Problem 193 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-1) A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 180 180 178 0 319 0 0 0 -1
normalized size 1 1.00 0.99 0.00 1.77 0.00 0.00 0.00 -0.01
time (sec) N/A 0.156 0.128 180.000 0.949 0.655 0.000 0.000 0.000
Problem 194 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 482 482 456 0 0 0 0 0 -1
normalized size 1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.734 0.854 10.291 0.000 0.756 0.000 0.000 0.000
Problem 195 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 490 490 564 0 0 0 0 0 -1
normalized size 1 1.00 1.15 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.702 0.822 11.590 0.000 0.702 0.000 0.000 0.000
Problem 196 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-2) F F F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 458 458 516 0 0 0 0 0 -1
normalized size 1 1.00 1.13 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.702 0.726 180.000 0.000 0.766 0.000 0.000 0.000
Problem 197 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-2) F F F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 508 508 619 0 0 0 0 0 -1
normalized size 1 1.00 1.22 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.546 3.878 180.000 0.000 0.684 0.000 0.000 0.000
Problem 198 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 26 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.033 0.049 0.069 0.000 0.887 0.000 0.000 0.000
Problem 199 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 104 104 99 0 0 0 0 0 -1
normalized size 1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.112 0.048 0.081 0.000 0.742 0.000 0.000 0.000
Problem 200 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 69 0 0 0 0 0 -1
normalized size 1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.069 0.018 0.060 0.000 0.670 0.000 0.000 0.000
Problem 201 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 40 40 51 0 0 0 0 0 -1
normalized size 1 1.00 1.28 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.033 0.004 0.060 0.000 0.566 0.000 0.000 0.000
Problem 202 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 26 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.032 0.043 0.056 0.000 0.775 0.000 0.000 0.000
Problem 203 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 64 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.071 0.045 0.059 0.000 0.806 0.000 0.000 0.000
Problem 204 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 103 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.112 0.048 0.060 0.000 0.527 0.000 0.000 0.000
Problem 205 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 20 20 20 0 0 0 15 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.75 0.00 -0.05
time (sec) N/A 0.024 0.002 0.036 0.000 0.695 2.326 0.000 0.000
Problem 206 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 33 33 33 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.044 0.003 0.047 0.000 0.769 0.000 0.000 0.000
Problem 207 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 26 26 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.110 0.156 0.107 0.000 0.769 0.000 0.000 0.000
Problem 208 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F A F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 217 217 196 0 0 247 0 0 -1
normalized size 1 1.00 0.90 0.00 0.00 1.14 0.00 0.00 -0.00
time (sec) N/A 0.181 0.548 0.278 0.000 0.686 0.000 0.000 0.000
Problem 209 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 185 185 168 0 0 207 264 0 -1
normalized size 1 1.00 0.91 0.00 0.00 1.12 1.43 0.00 -0.01
time (sec) N/A 0.132 0.338 0.250 0.000 0.563 83.201 0.000 0.000
Problem 210 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 106 106 113 0 0 137 172 0 -1
normalized size 1 1.00 1.07 0.00 0.00 1.29 1.62 0.00 -0.01
time (sec) N/A 0.114 0.076 0.221 0.000 1.044 23.638 0.000 0.000
Problem 211 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 26 26 30 0 0 0 26 0 -1
normalized size 1 1.00 1.15 0.00 0.00 0.00 1.00 0.00 -0.04
time (sec) N/A 0.029 0.003 0.237 0.000 0.563 15.635 0.000 0.000
Problem 212 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 142 142 115 0 0 134 0 0 -1
normalized size 1 1.00 0.81 0.00 0.00 0.94 0.00 0.00 -0.01
time (sec) N/A 0.114 0.160 0.294 0.000 0.689 0.000 0.000 0.000
Problem 213 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 202 202 163 0 0 190 0 0 -1
normalized size 1 1.00 0.81 0.00 0.00 0.94 0.00 0.00 -0.00
time (sec) N/A 0.157 0.197 0.369 0.000 0.941 0.000 0.000 0.000
Problem 214 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F C F F F(-1)
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 253 253 0 0 0 296 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 1.17 0.00 0.00 -0.00
time (sec) N/A 0.254 0.141 0.431 0.000 0.790 0.000 0.000 0.000
Problem 215 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F C F F F(-1)
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 221 221 0 0 0 257 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 1.16 0.00 0.00 -0.00
time (sec) N/A 0.190 0.122 0.424 0.000 0.879 0.000 0.000 0.000
Problem 216 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F C F F F(-1)
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 131 131 0 0 0 172 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 1.31 0.00 0.00 -0.01
time (sec) N/A 0.127 0.082 0.347 0.000 0.663 0.000 0.000 0.000
Problem 217 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F A F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 26 26 30 0 0 0 26 0 -1
normalized size 1 1.00 1.15 0.00 0.00 0.00 1.00 0.00 -0.04
time (sec) N/A 0.028 0.003 0.391 0.000 0.581 9.052 0.000 0.000
Problem 218 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F C F F F(-1)
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 174 174 0 0 0 156 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.90 0.00 0.00 -0.01
time (sec) N/A 0.156 0.134 0.347 0.000 0.619 0.000 0.000 0.000
Problem 219 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F C F F F(-1)
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 238 238 0 0 0 221 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.93 0.00 0.00 -0.00
time (sec) N/A 0.218 0.125 0.456 0.000 0.551 0.000 0.000 0.000
Problem 220 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A F(-1) A A
verified N/A N/A NO TBD TBD TBD TBD TBD TBD
size 30 0 266 844 0 0 0 0 -1
normalized size 1 0.00 8.87 28.13 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.022 0.243 0.866 0.000 0.682 0.000 0.000 0.000
Problem 221 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A F(-1) A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 178 0 0 867 0 0 0 0 -1
normalized size 1 0.00 0.00 4.87 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.104 0.112 0.352 0.000 0.451 0.000 0.000 0.000
Problem 222 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 245 0 0 1065 0 0 0 0 -1
normalized size 1 0.00 0.00 4.35 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.217 0.067 2.282 0.000 0.808 0.000 0.000 0.000
Problem 223 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 27 27 27 0 23 32 37 32 23
normalized size 1 1.00 1.00 0.00 0.85 1.19 1.37 1.19 0.85
time (sec) N/A 0.031 0.003 0.563 1.105 0.735 2.213 0.349 3.838
Problem 224 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 27 27 27 0 23 32 37 32 23
normalized size 1 1.00 1.00 0.00 0.85 1.19 1.37 1.19 0.85
time (sec) N/A 0.017 0.001 0.061 1.163 0.645 0.948 0.315 3.799
Problem 225 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 18 18 18 19 18 21 24 21 17
normalized size 1 1.00 1.00 1.06 1.00 1.17 1.33 1.17 0.94
time (sec) N/A 0.007 0.001 0.040 1.390 0.484 0.413 0.365 0.027
Problem 226 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 22 22 22 21 20 19 37 20 20
normalized size 1 1.00 1.00 0.95 0.91 0.86 1.68 0.91 0.91
time (sec) N/A 0.030 0.001 0.037 1.201 0.674 2.024 0.302 3.801
Problem 227 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 23 23 23 0 23 20 26 25 19
normalized size 1 1.00 1.00 0.00 1.00 0.87 1.13 1.09 0.83
time (sec) N/A 0.031 0.002 0.079 1.053 0.661 1.001 0.242 3.881
Problem 228 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 27 27 27 0 23 24 39 28 23
normalized size 1 1.00 1.00 0.00 0.85 0.89 1.44 1.04 0.85
time (sec) N/A 0.029 0.002 0.065 1.113 0.585 2.316 0.289 3.842
Problem 229 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 27 27 27 0 23 24 39 28 23
normalized size 1 1.00 1.00 0.00 0.85 0.89 1.44 1.04 0.85
time (sec) N/A 0.030 0.001 0.063 1.254 0.692 5.094 0.277 3.868
Problem 230 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 52 52 52 0 46 113 150 115 46
normalized size 1 1.00 1.00 0.00 0.88 2.17 2.88 2.21 0.88
time (sec) N/A 0.071 0.003 0.060 1.082 0.711 5.000 0.275 3.798
Problem 231 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 52 52 43 0 46 113 133 112 46
normalized size 1 1.00 0.83 0.00 0.88 2.17 2.56 2.15 0.88
time (sec) N/A 0.045 0.006 0.062 1.137 0.758 2.310 0.384 3.848
Problem 232 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 39 39 37 0 39 90 116 92 39
normalized size 1 1.00 0.95 0.00 1.00 2.31 2.97 2.36 1.00
time (sec) N/A 0.022 0.003 0.065 1.171 0.574 1.031 0.287 3.844
Problem 233 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 22 22 22 21 20 54 41 59 20
normalized size 1 1.00 1.00 0.95 0.91 2.45 1.86 2.68 0.91
time (sec) N/A 0.050 0.002 0.035 1.135 0.679 1.565 0.321 3.749
Problem 234 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 46 46 40 0 46 81 117 90 40
normalized size 1 1.00 0.87 0.00 1.00 1.76 2.54 1.96 0.87
time (sec) N/A 0.070 0.005 0.080 1.142 0.635 1.039 0.289 3.851
Problem 235 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A A B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 52 52 43 0 46 87 134 94 46
normalized size 1 1.00 0.83 0.00 0.88 1.67 2.58 1.81 0.88
time (sec) N/A 0.070 0.007 0.062 1.136 0.625 2.436 0.238 3.785
Problem 236 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A A B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 52 52 52 0 46 88 151 95 46
normalized size 1 1.00 1.00 0.00 0.88 1.69 2.90 1.83 0.88
time (sec) N/A 0.070 0.002 0.064 1.171 0.511 5.229 0.245 3.881
Problem 237 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B B F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 135 135 91 0 282 1358 0 1811 -1
normalized size 1 1.00 0.67 0.00 2.09 10.06 0.00 13.41 -0.01
time (sec) N/A 0.221 0.059 0.659 1.133 0.792 0.000 0.494 0.000
Problem 238 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A B F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 93 93 90 0 149 391 0 561 -1
normalized size 1 1.00 0.97 0.00 1.60 4.20 0.00 6.03 -0.01
time (sec) N/A 0.126 0.043 0.128 1.045 0.588 0.000 0.353 0.000
Problem 239 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A A A B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 51 51 37 0 62 72 112 111 -1
normalized size 1 1.00 0.73 0.00 1.22 1.41 2.20 2.18 -0.02
time (sec) N/A 0.046 0.013 0.131 0.994 0.609 10.312 0.337 0.000
Problem 240 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 86 86 85 0 0 105 0 140 -1
normalized size 1 1.00 0.99 0.00 0.00 1.22 0.00 1.63 -0.01
time (sec) N/A 0.184 0.206 0.092 0.000 0.651 0.000 0.427 0.000
Problem 241 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 127 127 112 0 0 202 0 1540 -1
normalized size 1 1.00 0.88 0.00 0.00 1.59 0.00 12.13 -0.01
time (sec) N/A 0.242 0.308 0.092 0.000 0.662 0.000 0.840 0.000
Problem 242 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F(-2) F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 134 134 133 0 0 0 0 0 -1
normalized size 1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.190 0.203 0.284 0.000 0.906 0.000 0.000 0.000
Problem 243 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F(-2) F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 117 117 117 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.168 0.155 0.089 0.000 0.818 0.000 0.000 0.000
Problem 244 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F(-2) F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 117 117 117 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.133 0.144 0.089 0.000 1.008 0.000 0.000 0.000
Problem 245 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F(-2) A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 108 108 108 0 0 73 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.68 0.00 0.00 -0.01
time (sec) N/A 0.099 0.129 0.091 0.000 0.924 0.000 0.000 0.000
Problem 246 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 33 33 33 34 33 49 80 36 33
normalized size 1 1.00 1.00 1.03 1.00 1.48 2.42 1.09 1.00
time (sec) N/A 0.094 0.009 0.038 1.245 0.538 2.846 0.245 4.072
Problem 247 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F(-2) F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 107 107 107 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.160 0.135 0.102 0.000 0.925 0.000 0.000 0.000
Problem 248 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F(-2) F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 117 117 117 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.163 0.139 0.089 0.000 0.928 0.000 0.000 0.000
Problem 249 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 111 111 113 0 0 0 0 0 -1
normalized size 1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.162 0.090 0.300 0.000 0.883 0.000 0.000 0.000

2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac {\text {number of rules}}{\text {integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [20] had the largest ratio of [.8421]

Table 2.1:Rubi specific breakdown of results for each integral
# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac {\text {number of rules}}{\text {integrand leaf size}}\)
1 A 6 3 1.00 23 0.130
2 A 6 4 1.00 20 0.200
3 A 6 4 1.00 20 0.200
4 A 6 4 1.00 18 0.222
5 A 7 7 1.00 17 0.412
6 A 2 2 1.00 20 0.100
7 A 8 7 1.00 20 0.350
8 A 7 5 1.00 20 0.250
9 A 7 5 1.00 20 0.250
10 A 15 9 1.00 22 0.409
11 A 14 9 1.00 22 0.409
12 A 13 9 1.00 20 0.450
13 A 14 12 1.00 19 0.632
14 A 3 3 1.00 22 0.136
15 A 15 14 1.08 22 0.636
16 A 19 13 1.08 22 0.591
17 A 29 12 1.00 22 0.546
18 A 26 12 1.00 22 0.546
19 A 23 12 1.00 20 0.600
20 A 24 16 1.00 19 0.842
21 A 4 3 1.00 22 0.136
22 A 22 15 1.05 22 0.682
23 A 30 14 1.06 22 0.636
24 A 7 5 1.00 26 0.192
25 A 8 9 1.00 24 0.375
26 A 2 2 1.00 26 0.077
27 A 9 8 1.00 26 0.308
28 A 9 7 1.00 26 0.269
29 A 8 7 1.00 23 0.304
30 A 7 6 1.00 26 0.231
31 A 8 7 1.00 26 0.269
32 A 13 9 1.00 28 0.321
33 A 15 16 1.00 26 0.615
34 A 3 3 1.00 28 0.107
35 A 11 11 1.00 28 0.393
36 A 30 17 1.00 28 0.607
37 A 26 16 1.00 25 0.640
38 A 16 12 1.00 28 0.429
39 A 24 15 1.00 28 0.536
40 A 22 11 1.00 28 0.393
41 A 24 21 1.00 26 0.808
42 A 4 3 1.00 28 0.107
43 A 15 12 1.00 28 0.429
44 A 42 17 1.00 25 0.680
45 A 26 13 1.00 28 0.464
46 A 7 5 1.00 28 0.179
47 A 7 5 1.00 26 0.192
48 A 7 5 1.00 25 0.200
49 A 2 2 1.00 28 0.071
50 A 8 6 1.00 28 0.214
51 A 8 6 1.00 28 0.214
52 A 8 6 1.00 28 0.214
53 A 18 10 1.00 30 0.333
54 A 16 10 1.00 28 0.357
55 A 14 9 1.00 27 0.333
56 A 3 3 1.00 30 0.100
57 A 17 14 1.00 30 0.467
58 A 19 14 1.00 30 0.467
59 A 30 13 1.00 28 0.464
60 A 24 12 1.00 27 0.444
61 A 4 3 1.00 30 0.100
62 A 28 16 1.00 30 0.533
63 A 34 16 1.00 30 0.533
64 A 5 3 1.00 28 0.107
65 A 4 3 1.00 28 0.107
66 A 3 3 1.00 28 0.107
67 A 2 2 1.00 26 0.077
68 A 0 0 0.00 0 0.000
69 A 0 0 0.00 0 0.000
70 A 7 5 1.00 24 0.208
71 A 7 5 1.00 24 0.208
72 A 7 5 1.00 22 0.227
73 A 8 8 1.00 21 0.381
74 A 4 4 1.00 24 0.167
75 A 9 8 1.00 24 0.333
76 A 8 6 1.00 24 0.250
77 A 8 6 1.00 24 0.250
78 A 24 12 1.00 26 0.462
79 A 21 12 1.00 24 0.500
80 A 18 11 1.00 23 0.478
81 A 5 5 1.00 26 0.192
82 A 15 14 1.14 26 0.538
83 A 19 13 1.12 26 0.500
84 A 22 13 1.10 26 0.500
85 A 34 13 1.00 24 0.542
86 A 28 12 1.00 23 0.522
87 A 6 5 1.00 26 0.192
88 A 22 15 1.12 26 0.577
89 A 30 14 1.11 26 0.538
90 A 9 6 1.00 26 0.231
91 A 9 10 1.00 24 0.417
92 A 4 4 1.00 26 0.154
93 A 11 9 1.00 26 0.346
94 A 10 7 1.00 26 0.269
95 A 9 6 1.00 26 0.231
96 A 8 6 1.00 23 0.261
97 A 7 5 1.00 26 0.192
98 A 8 6 1.00 26 0.231
99 A 9 6 1.00 26 0.231
100 A 17 11 1.00 26 0.423
101 A 5 5 1.00 28 0.179
102 A 11 11 1.00 28 0.393
103 A 20 14 1.15 28 0.500
104 A 30 17 1.00 28 0.607
105 A 26 16 1.00 25 0.640
106 A 16 12 1.00 28 0.429
107 A 24 15 1.00 28 0.536
108 A 26 12 1.00 26 0.462
109 A 6 5 1.00 28 0.179
110 A 15 12 1.00 28 0.429
111 A 49 18 1.00 28 0.643
112 A 42 17 1.00 25 0.680
113 A 26 13 1.00 28 0.464
114 A 39 16 1.00 28 0.571
115 A 9 6 1.00 28 0.214
116 A 9 6 1.00 26 0.231
117 A 9 7 1.00 25 0.280
118 A 4 4 1.00 28 0.143
119 A 10 7 1.00 28 0.250
120 A 10 7 1.00 28 0.250
121 A 10 7 1.00 28 0.250
122 A 22 13 1.00 28 0.464
123 A 20 13 1.00 26 0.500
124 A 18 13 1.00 25 0.520
125 A 5 5 1.00 28 0.179
126 A 21 17 1.00 28 0.607
127 A 23 17 1.00 28 0.607
128 A 36 16 1.00 26 0.615
129 A 30 16 1.00 25 0.640
130 A 6 5 1.00 28 0.179
131 A 34 19 1.00 28 0.679
132 A 40 19 1.00 28 0.679
133 A 9 6 1.00 30 0.200
134 A 9 6 1.00 30 0.200
135 A 11 9 1.00 30 0.300
136 A 10 7 1.00 30 0.233
137 A 10 7 1.00 30 0.233
138 A 0 0 0.00 0 0.000
139 A 6 5 1.00 28 0.179
140 A 5 5 1.00 28 0.179
141 A 4 4 1.00 26 0.154
142 A 0 0 0.00 0 0.000
143 A 0 0 0.00 0 0.000
144 A 0 0 0.00 0 0.000
145 A 0 0 0.00 0 0.000
146 A 0 0 0.00 0 0.000
147 A 4 4 1.00 26 0.154
148 A 0 0 0.00 0 0.000
149 A 0 0 0.00 0 0.000
150 A 18 12 1.00 32 0.375
151 A 16 12 1.00 32 0.375
152 A 14 11 1.00 30 0.367
153 A 15 12 1.00 32 0.375
154 A 16 12 1.00 32 0.375
155 A 18 12 1.00 32 0.375
156 A 3 3 1.00 24 0.125
157 A 3 3 1.00 22 0.136
158 A 3 2 1.00 21 0.095
159 A 4 5 1.00 24 0.208
160 A 2 2 1.00 24 0.083
161 A 3 3 1.00 24 0.125
162 A 3 3 1.00 24 0.125
163 A 7 5 1.00 26 0.192
164 A 7 5 1.00 24 0.208
165 A 6 3 1.00 23 0.130
166 A 4 4 1.00 26 0.154
167 A 6 4 1.00 26 0.154
168 A 7 5 1.00 26 0.192
169 A 7 5 1.00 26 0.192
170 A 6 6 1.00 26 0.231
171 A 6 6 1.00 24 0.250
172 A 6 6 1.00 23 0.261
173 A 5 6 1.00 26 0.231
174 A 6 6 1.00 26 0.231
175 A 6 6 1.00 26 0.231
176 A 7 4 1.52 23 0.174
177 A 2 4 1.00 18 0.222
178 A 8 7 1.00 28 0.250
179 A 7 7 1.00 26 0.269
180 A 7 7 1.00 24 0.292
181 A 7 7 1.00 23 0.304
182 A 4 4 1.00 26 0.154
183 A 7 7 1.00 26 0.269
184 A 7 7 1.00 26 0.269
185 A 7 7 1.00 26 0.269
186 A 17 11 1.00 18 0.611
187 A 17 11 1.00 18 0.611
188 A 9 10 1.00 18 0.556
189 A 9 10 1.00 18 0.556
190 A 17 11 1.00 18 0.611
191 A 12 11 1.00 18 0.611
192 A 9 10 1.00 18 0.556
193 A 9 10 1.00 18 0.556
194 A 21 14 1.00 20 0.700
195 A 21 14 1.00 20 0.700
196 A 21 14 1.00 20 0.700
197 A 21 14 1.00 20 0.700
198 A 0 0 0.00 0 0.000
199 A 4 2 1.00 23 0.087
200 A 3 2 1.00 23 0.087
201 A 2 2 1.00 21 0.095
202 A 0 0 0.00 0 0.000
203 A 0 0 0.00 0 0.000
204 A 0 0 0.00 0 0.000
205 A 2 2 1.00 11 0.182
206 A 3 2 1.00 13 0.154
207 A 2 1 1.00 57 0.018
208 A 10 5 1.00 19 0.263
209 A 10 5 1.00 17 0.294
210 A 10 8 1.00 16 0.500
211 A 2 2 1.00 19 0.105
212 A 13 8 1.00 19 0.421
213 A 11 6 1.00 19 0.316
214 A 15 6 1.00 19 0.316
215 A 15 6 1.00 17 0.353
216 A 14 9 1.00 16 0.562
217 A 2 2 1.00 19 0.105
218 A 19 9 1.00 19 0.474
219 A 16 7 1.00 19 0.368
220 A 0 0 0.00 0 0.000
221 A 0 0 0.00 0 0.000
222 A 0 0 0.00 0 0.000
223 A 2 2 1.00 14 0.143
224 A 2 2 1.00 12 0.167
225 A 2 2 1.00 10 0.200
226 A 2 2 1.00 14 0.143
227 A 2 2 1.00 14 0.143
228 A 2 2 1.00 14 0.143
229 A 2 2 1.00 14 0.143
230 A 3 3 1.00 16 0.188
231 A 3 3 1.00 14 0.214
232 A 3 3 1.00 12 0.250
233 A 3 3 1.00 16 0.188
234 A 3 3 1.00 16 0.188
235 A 3 3 1.00 16 0.188
236 A 3 3 1.00 16 0.188
237 A 4 3 1.00 22 0.136
238 A 3 3 1.00 22 0.136
239 A 2 2 1.00 20 0.100
240 A 3 3 1.00 22 0.136
241 A 4 4 1.00 22 0.182
242 A 3 3 1.00 22 0.136
243 A 3 3 1.00 20 0.150
244 A 3 3 1.00 18 0.167
245 A 3 3 1.00 16 0.188
246 A 3 3 1.00 20 0.150
247 A 3 3 1.00 20 0.150
248 A 3 3 1.00 20 0.150
249 A 6 6 1.00 24 0.250

[next] [prev] [prev-tail] [front] [up]